Showing 1 - 7 of 7 Results
1.
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) by Poernomo, Iman, Crossley, J... ISBN: 9781441920140 List Price: $99.00
2.
Guy of Saint-Denis, Tractatus de Tonis by Williams, Carol J., Crossle... ISBN: 9781580442992
3.
Guy of Saint-Denis by Crossley, John N., Jeffreys... ISBN: 9781580442541
4.
Nine Chapters on the Mathematical Art : Companion and Commentary by Kangshen, Shen, Crossley, J... ISBN: 9787030061010
5.
Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday by Crossley, John N., Remmel, ... ISBN: 9781461267089
6.
What Is Mathematical Logic? by Crossley, John N. ISBN: 9780198880875 List Price: $3.95
7.
Chinese Mathematics: A Concise History by Yan, L., Shiran, Du, Crossl... ISBN: 9780198581819 List Price: $55.00